تعداد ۱۲ پاسخ غیر تکراری از ۱۲ پاسخ تکراری در مدت زمان ۰,۴۵ ثانیه یافت شد.

1. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings

پدیدآورنده : Manuel Nunez ...]et al.[ )eds(

کتابخانه: (طهران)

موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols

رده :

QA

76

.

L28

Vol

.

3236

2. Formal Techniques for Distributed Objects, Components, and Systems

پدیدآورنده : \ Susanne Graf , Mahesh Viswanathan (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.,Computer network protocols -- Congresses.,داده‌پردازی -- پردازش توزبع شده -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها ,پروتکل‌های شبکه کامپیوتری -- کنگره ها

رده :

QA

76

.

9

.

D5F6

2015

E-Book

,

3. Formal methods for protocol engineering and distributed systems :

پدیدآورنده : edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.

رده :

QA76

.

9

.

F67

E358

1999

4. Formal techniques for distributed objects, components, and systems :

پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)

رده :

QA76

.

9

.

D5

.

F67

2019

5. Formal techniques for networked and distributed systems

پدیدآورنده : / Edited by Myungchul Kim ... [et al.]

کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)

موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses

رده :

EB

,

QA76

.

9

F67I579

2001

6. Formal techniques for networked and distributed systems

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses. ; Electronic data processing ; Distributed processing ; Congresses. ; Computer network protocols ; Congresses. ;

7. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea

پدیدآورنده : edited by Myungchul Kim ... ]et al.[

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)

موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols

رده :

QA

76

.

9

.

F67

I579

8. Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

پدیدآورنده : Doron A. Peled, Moshe Y. Vardi )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols

رده :

QA

76

.

L28

Vol

.

2529

9. Formal techniques for networked and distributed systems-FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings

پدیدآورنده : Hartmut Konig, Mokika Heiner, Adam Woiisz, )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols

رده :

QA

76

.

L28

Vol

.

2767

10. Formal techniques for networked and distributed systems -- FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings

پدیدآورنده : Farn Wang )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols

رده :

QA

76

.

L28

Vol

.

3731

11. Formal techniques for networked and distributed systems -- Forte 2004 : 24th IFIP WG 6.1 international conference, Madrid Spain, September 27-30, 2004 : proceedings

پدیدآورنده : ]edited by[ David de Frutos-Escrig, Manuel Nunez

کتابخانه: (طهران)

موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols

رده :

QA

76

.

L28

Vol

.

3235

12. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]

پدیدآورنده : / Edited by Myungchul Kim ... [et al]

کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)

موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses

رده :

EB

,

QA76

.

9

.

F67

,

I579

2001

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها